301. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
302. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده : edited by A.B. Cremers and H.P. Kriegel
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
303. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده : edited by Peter Deussen
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
304. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
305. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
306. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
307. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
308. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالتهای متناهی
رده :
E-Book
,
309. Theory of automata
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
.
S3
1969
310. Theory of finite automata
پدیدآورنده : Carroll, John
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
C35
1989
311. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
312. Theory of finite automata : with and introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: (طهران)
موضوع : Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
313. Theory of formal languages with applications
پدیدآورنده : Dan.A Simovici and Richard.L Tenney,Title
کتابخانه: (مازندران)
موضوع : formal languages
رده :
QA
.
S56
267
.
3
1999
314. Theory of language syntax
پدیدآورنده : Urszula Wybraniec-Skardowska ; ]translated from the Polish by Olgierd Adrian Wojtasiewicz[,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Categorial grammar,Formal languages,Logic, Symbolic and mathematical
رده :
EBOOK
,
P
.
W913
161
1991
315. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
316. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
317. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
318. Transductions and context-free languages
پدیدآورنده : Berstel, Jean
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
B46
319. UML 2 semantics and applications
پدیدآورنده : edited by Kevin Lano
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer software, Development,Application software, Development,UML )Computer science(,Formal languages, Semantics
رده :
QA
76
,.
76
.
U5
2009